high order predicate calculus
高阶述词演算
热门查询
- revered v. 崇敬，尊崇，敬畏( revere的过去式和过去分词 )
- Leavis n. (Leavis)人名；(英)利维斯 利维斯
- transmutation n. 变形；变化；演变
- exaggeratedly adv. 夸张地
- showy adj. 艳丽的；炫耀的；显眼的
- typhus n. [内科] 斑疹伤寒症
- propellant n. 推进物；推进燃料；发射火药 adj. 推进的
- toneless adj. 沉闷的；单调的；缺乏声调的；无声的
- svetlana n. 斯维特拉娜(f.)
- blackly adv. 抑郁地；愤怒地；阴险地；黑暗地
- bothered adj. 烦（恼）的；感到讨厌的
- Brahmin n. 婆罗门
- Spurgeon [人名] 斯珀吉翁
- grapefruit n. 西柚；葡萄柚；葡萄柚树
- mrd abbr. minimum reacting dose 最小反应剂量; metal (lic) roof(ing) deck(ing) 铺金属顶面; metal rolling door 金属滑动门; millirutherford 毫卢瑟福（放射活性单位）
- Karpov n. (Karpov)人名；(俄、芬、塞)卡尔波夫
- ribavirin n. 病毒唑；三唑核苷
- Longford n. 朗福镇；朗福德；朗福勋爵
- jettison n. 投弃；投弃货物 vt. 投弃（船舶遇难时投弃货物以为减轻负载）
- compile vt. 编译；编制；编辑；[图情] 汇编
考试词汇表
- dorsal common annular ligament
- dorsal cuneonavicular ligament
- dorsal digital arterys of foot
- dorsal digital arterys of hand
- dorsal external arcuate fibers
- dorsal intercuneiform ligament
- dorsal longitudinal fasciculus
- dorsal mediastinal lymph gland
- dorsal sacrococcygeal ligament
- dorsal trigeminothalamic tract
- dorsal vein of corpus callosum
- dorsally located radial artery
- dorsocentral hysterosomal seta
- dorsolateral hysterosomal seta
- dos (directorate of standards)
- dosing of regenerating reagent
- dot matrix character generator
- dot patterns visual stimulator
- dot raster character generator
- dot-matrix character generator
